/********************************
 * Robinson Matrix Algorithm
 *
 * Copyright (C) 2009 CNRS
 * Author : Florent AVELLANEDA, Eugen CEPOI
 * 
 *
 * All rights reserved.
 *
 *   This file is part of Robinson Matrix Algorithm.
 *
 *   Robinson Matrix Algorithm is free software: you can redistribute it and/or modify
 *   it under the terms of the GNU General Public License as published by
 *   the Free Software Foundation, either version 3 of the License, or
 *   (at your option) any later version.
 *
 *   Robinson Matrix Algorithm is distributed in the hope that it will be useful,
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *   GNU General Public License for more details.
 *
 *   You should have received a copy of the GNU General Public License
 *   along with Robinson Matrix Algorithm.  If not, see <http://www.gnu.org/licenses/>.
 *
 ***********************************************************************************/
#ifndef VAR_DJTYB0TE

#define VAR_DJTYB0TE

#include <iostream>


namespace SAT
{

    class Var
    {
        public:
            Var ( std::string name="" );
            virtual ~Var ();

            std::string getName() const
            {
                return _sName;
            }

            void setVal(bool val)
            {
                _bValue = val;
            }

            bool getVal() const
            {
                return _bValue;
            }


        private:
            std::string _sName;

            bool _bValue;
            static unsigned int _nb;
    };

    std::ostream& operator << (std::ostream& os, const Var& v);

}

#endif /* end of include guard: VAR_DJTYB0TE */
